home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / latex209 / contrib / timing / timing.mf < prev    next >
Text File  |  1994-06-07  |  15KB  |  493 lines
  1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  2. %  TIMING.MF  
  3. %
  4. %  Zeichensatz zum Darstellen von Zeitdiagrammen digitaler
  5. %  Schaltungen.
  6. %  Hauptdatei für alle Zeichensätze
  7. %
  8. %  Ludwig May, Dezember 1991
  9. %  Jens Leilich, Änderungen im Mai 1994
  10. %
  11. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  12.  
  13. define_pixels(p_size,p3_size);
  14. %define_good_x_pixels(c_width);
  15. %define_good_y_pixels(c_height);
  16. define_whole_pixels(c_width,c_height,p2_size);
  17. if not odd c_width: c_width:=c_width-1; fi
  18.  
  19. font_x_height c_height#;
  20. font_quad c_width#;
  21.  
  22. pen pinsel;
  23. pinsel=(pencircle xscaled (0.8*p_size) yscaled p_size);
  24.  
  25.  
  26. beginchar("H",c_width#,c_height#,bt#);  "High Level";
  27.  
  28. pickup pinsel;
  29. draw (-c_width,c_height)--(0,c_height);
  30. showit;
  31. endchar;
  32.  
  33.  
  34. beginchar("L",c_width#,c_height#,bt#);  "Low Level";
  35.  
  36. pickup pinsel;
  37. draw (-c_width,0)--(0,0);
  38. showit;
  39. endchar;
  40.  
  41. %1/12->xs#/12, damit Steigung von HL und LH wie UV (JL,8.1.94)
  42. beginchar(0,2*c_width#,c_height#,bt#);  "High-Low";
  43.  
  44. pickup pinsel;
  45. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(xs#/12*c_width,0)--(c_width,0);
  46. showit;
  47. endchar;
  48.  
  49. beginchar(1,2*c_width#,c_height#,bt#);  "Low-High";
  50.  
  51. pickup pinsel;
  52. draw (-c_width,0)--(-xs#/12*c_width,0)--(xs#/12*c_width,c_height)--(c_width,c_height);
  53. showit;
  54. endchar;
  55.  
  56. beginchar(12,2*c_width#,c_height#,bt#);  "Change Bus";
  57.  
  58. pickup pinsel;
  59. draw (-c_width,0)--(-xs#/12*c_width,0);
  60. draw (-c_width,c_height)--(-xs#/12*c_width,c_height);
  61. draw (xs#/12*c_width,0)--(c_width,0);
  62. draw (xs#/12*c_width,c_height)--(c_width,c_height);
  63. draw (-xs#/12*c_width,0)--(xs#/12*c_width,c_height);
  64. draw (-xs#/12*c_width,c_height)--(xs#/12*c_width,0);
  65. showit;
  66. endchar;
  67.  
  68. beginchar("V",c_width#,c_height#,bt#);  "Valid Bus";
  69.  
  70. pickup pinsel;
  71. draw (-c_width,0)--(0,0);
  72. draw (-c_width,c_height)--(0,c_height);
  73. showit;
  74. endchar;
  75.  
  76. beginchar("Z",c_width#,c_height#,bt#);  "Tristate Bus";
  77.  
  78. pickup pinsel;
  79. draw (-c_width,c_height/2)--(0,c_height/2);
  80. showit;
  81. endchar;
  82.  
  83. beginchar(2,2*c_width#,c_height#,bt#);  "Tristate -> Valid Bus";
  84.  
  85. pickup pinsel;
  86. draw (-c_width,c_height/2)--(0/12*c_width,c_height/2);
  87. draw (0/12*c_width,c_height/2)--(xs#/12*c_width,c_height)--(c_width,c_height);
  88. draw (0/12*c_width,c_height/2)--(xs#/12*c_width,0)--(c_width,0);
  89. showit;
  90. endchar;
  91.  
  92. beginchar(3,2*c_width#,c_height#,bt#);  "Valid -> Tristate Bus";
  93.  
  94. pickup pinsel;
  95. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(0/12*c_width,c_height/2);
  96. draw (-c_width,0)--(-xs#/12*c_width,0)--(0/12*c_width,c_height/2);
  97. draw (0/12*c_width,c_height/2)--(c_width,c_height/2);
  98. showit;
  99. endchar;
  100.  
  101.  
  102. beginchar("U",c_width#,c_height#,bt#);  "Invalid Bus";
  103.  
  104. pickup pinsel;
  105. draw (-c_width,0)--(0,0);
  106. draw (-c_width,c_height)--(0,c_height);
  107.  
  108. pickup pencircle scaled p3_size;
  109. draw (-c_width,5/6*c_height)--(-c_width/2,c_height);
  110. draw (-c_width,c_height/2)--(0,5/6*c_height);
  111. draw (-c_width,1/6*c_height)--(0,c_height/2);
  112. draw (-c_width/2,0)--(0,1/6*c_height);
  113. showit;
  114. endchar;
  115.  
  116.  
  117. beginchar(4,2*c_width#,c_height#,bt#);  "Tristate -> Invalid Bus";
  118.  
  119. y1=s_f#*2/3*(x1+c_width)+1/2*c_height;
  120. x1=y1*(xs#/s_f#/12)+(6-xs#*0.5)*c_height/s_f#/12-c_width;% Startpunkt der 1. Linie 
  121. %y1=s_f#* 12/xs#*(x1+c_width)-(6/xs#-0.5)*c_height;% Startpunkt der 1. Linie 
  122. y2=s_f#*2/3*(x2+c_width)+1/6*c_height;
  123. x2=y2*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 2. Linie 
  124. %y2=s_f#*-12/xs#*(x2+c_width)+(6/xs#+0.5)*c_height;% Startpunkt der 2. Linie
  125. y3=s_f#*2/3*(x3+c_width)-1/6*c_height;
  126. x3=y3*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 3. Linie 
  127. %y3=s_f#*-12/xs#*(x3+c_width)+(6/xs#+0.5)*c_height;% Startpunkt der 3. Linie
  128.  
  129. pickup pinsel;
  130. draw (-c_width,c_height/2)--(0/12*c_width,c_height/2);
  131. draw (0/12*c_width,c_height/2)--(xs#/12*c_width,c_height)--(c_width,c_height);
  132. draw (0/12*c_width,c_height/2)--(xs#/12*c_width,0)--(c_width,0);
  133.  
  134. pickup pencircle scaled p3_size;
  135. draw z1--(1/2*c_width,c_height);
  136. draw z2--(c_width,5/6*c_height);
  137. draw z3--(c_width,c_height/2);
  138. draw (1/2*c_width,0)--(c_width,1/6*c_height);
  139. showit;
  140. endchar;
  141.  
  142. beginchar(5,2*c_width#,c_height#,bt#);  "Invalid -> Tristate Bus";
  143.  
  144. y1=s_f#*2/3*(x1+c_width)+1/2*c_height ;
  145. x1=y1*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 1. Linie 
  146. %y1=s_f#*-12/xs#*(x1+c_width)+(6/xs#+0.5)*c_height; % Startpunkt der 1. Linie 
  147. y2=s_f#*2/3*(x2+c_width)+1/6*c_height ;
  148. x2=y2*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 2. Linie 
  149. %y2=s_f#*-12/xs#*(x2+c_width)+(6/xs#+0.5)*c_height; % Startpunkt der 2. Linie
  150. y3=s_f#*2/3*(x3+c_width)-1/6*c_height ;
  151. x3=y3*(xs#/s_f#/12)+(6-xs#*0.5)*c_height/s_f#/12-c_width;% Startpunkt der 3. Linie 
  152. %y3=s_f#* 12/xs#*(x3+c_width)-(6/xs#-0.5)*c_height; % Startpunkt der 3. Linie
  153.  
  154. pickup pinsel;
  155. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(0/12*c_width,c_height/2);
  156. draw (-c_width,0)--(-xs#/12*c_width,0)--(0/12*c_width,c_height/2);
  157. draw (0/12*c_width,c_height/2)--(c_width,c_height/2);
  158.  
  159. pickup pencircle scaled p3_size;
  160. draw (-c_width,5/6*c_height)--(-c_width/2,c_height);
  161. draw (-c_width,c_height/2)--z1;
  162. draw (-c_width,1/6*c_height)--z2;
  163. draw (-c_width/2,0)--z3;
  164. showit;
  165. endchar;
  166.  
  167.  
  168. beginchar(6,2*c_width#,c_height#,bt#);  "Valid -> Invalid Bus";
  169.  
  170. y1=s_f#*2/3*(x1+c_width)+1/2*c_height;
  171. x1=y1*(xs#/s_f#/12)+(6-xs#*0.5)*c_height/s_f#/12-c_width;% Startpunkt der 1. Linie 
  172. %y1=s_f#* 12/xs#*(x1+c_width)-(6/xs#-0.5)*c_height;% 1. Linie
  173. y2=s_f#*2/3*(x2+c_width)+1/6*c_height;
  174. x2=y2*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 2. Linie 
  175. %y2=s_f#*-12/xs#*(x2+c_width)+(6/xs#+0.5)*c_height;% 2. Linie
  176. y3=s_f#*2/3*(x3+c_width)-1/6*c_height;
  177. x3=y3*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 3. Linie 
  178. %y3=s_f#*-12/xs#*(x3+c_width)+(6/xs#+0.5)*c_height;% 3. Linie
  179.  
  180. pickup pinsel;
  181. draw (-c_width,0)--(-xs#/12*c_width,0);
  182. draw (-c_width,c_height)--(-xs#/12*c_width,c_height);
  183. draw (xs#/12*c_width,0)--(c_width,0);
  184. draw (xs#/12*c_width,c_height)--(c_width,c_height);
  185. draw (-xs#/12*c_width,0)--(xs#/12*c_width,c_height);
  186. draw (-xs#/12*c_width,c_height)--(xs#/12*c_width,0);
  187.  
  188. pickup pencircle scaled p3_size;
  189. draw z1--(1/2*c_width,c_height);
  190. draw z2--(c_width,5/6*c_height);
  191. draw z3--(c_width,1/2*c_height);
  192. draw (1/2*c_width,0)--(c_width,1/6*c_height);
  193. showit;
  194. endchar;
  195.  
  196. beginchar(7,2*c_width#,c_height#,bt#);  "Invalid -> Valid Bus";
  197.  
  198. y1=s_f#*2/3*(x1+c_width)+1/2*c_height;
  199. x1=y1*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 1. Linie 
  200. %y1=s_f#*-12/xs#*(x1+c_width)+(6/xs#+0.5)*c_height;% 1. Linie
  201. y2=s_f#*2/3*(x2+c_width)+1/6*c_height;
  202. x2=y2*(xs#/s_f#/-12)-(6+xs#*0.5)*c_height/s_f#/-12-c_width;% Startpunkt der 2. Linie 
  203. %y2=s_f#*-12/xs#*(x2+c_width)+(6/xs#+0.5)*c_height;% 2. Linie
  204. y3=s_f#*2/3*(x3+c_width)-1/6*c_height;
  205. x3=y3*(xs#/s_f#/12)+(6-xs#*0.5)*c_height/s_f#/12-c_width;% Startpunkt der 3. Linie 
  206. %y3=s_f#* 12/xs#*(x3+c_width)-(6/xs#-0.5)*c_height;% 3. Linie
  207.  
  208. pickup pinsel;
  209. draw (-c_width,0)--(-xs#/12*c_width,0);
  210. draw (-c_width,c_height)--(-xs#/12*c_width,c_height);
  211. draw (xs#/12*c_width,0)--(c_width,0);
  212. draw (xs#/12*c_width,c_height)--(c_width,c_height);
  213. draw (-xs#/12*c_width,0)--(xs#/12*c_width,c_height);
  214. draw (-xs#/12*c_width,c_height)--(xs#/12*c_width,0);
  215.  
  216. pickup pencircle scaled p3_size;
  217. draw (-c_width,5/6*c_height)--(-1/2*c_width,c_height);
  218. draw (-c_width,1/2*c_height)--z1;
  219. draw (-c_width,1/6*c_height)--z2;
  220. draw (-1/2*c_width,0)--z3;
  221. showit;
  222. endchar;
  223.  
  224. beginchar("F",c_width#,c_height#,bt#);  "Floating Line";
  225.  
  226. pickup pinsel;
  227. draw (-c_width,0)--(0,0);
  228. draw (-c_width,c_height)--(0,c_height);
  229. showit;
  230. endchar;
  231.  
  232. %1/12->xs#/12, damit Steigung von FL und FH wie UV (JL,8.1.94)
  233. beginchar(13,2*c_width#,c_height#,bt#);  "Float-Low";
  234.  
  235. pickup pinsel;
  236. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(xs#/12*c_width,0);
  237. draw (-c_width,0)--(c_width,0);
  238. showit;
  239. endchar;
  240.  
  241. beginchar(14,2*c_width#,c_height#,bt#);  "Float-High";
  242.  
  243. pickup pinsel;
  244. draw (-c_width,0)--(-xs#/12*c_width,0)--(xs#/12*c_width,c_height);
  245. draw (-c_width,c_height)--(c_width,c_height);
  246. showit;
  247. endchar;
  248.  
  249. beginchar(15,2*c_width#,c_height#,bt#);  "High-Float";
  250.  
  251. pickup pinsel;
  252. draw (-c_width,c_height)--(c_width,c_height);
  253. draw (-xs#/12*c_width,c_height)--(xs#/12*c_width,0)--(c_width,0);
  254. showit;
  255. endchar;
  256.  
  257. beginchar(16,2*c_width#,c_height#,bt#);  "Low-Float";
  258.  
  259. pickup pinsel;
  260. draw (-c_width,0)--(c_width,0);
  261. draw (-xs#/12*c_width,0)--(xs#/12*c_width,c_height)--(c_width,c_height);
  262. showit;
  263. endchar;
  264.  
  265.  
  266. beginchar("-",c_width#/2,c_height#,bt#);  "...";
  267.  
  268. pickup pencircle scaled p3_size;
  269. draw (-c_width,-1/12*c_height)--(-c_width,13/12*c_height);
  270. draw (-c_width/2-1,-1/12*c_height)--(-c_width/2-1,13/12*c_height);
  271. showit;
  272. endchar;
  273.  
  274. beginchar("T",c_width#,1/6*c_height#,bt#);  "TOP";
  275.  
  276. pickup pinsel;
  277. draw (-c_width,1/12*c_height)--(-c_width,1/6*c_height)--(0,1/6*c_height);
  278. showit;
  279. endchar;
  280.  
  281. beginchar("B",c_width#,1/6*c_height#,bt#);  "BOTTOM";
  282.  
  283. pickup pinsel;
  284. draw (-c_width,1/12*c_height)--(-c_width,0)--(0,0);
  285. showit;
  286. endchar;
  287.  
  288. beginchar(8,3/2*c_width#,1/6*c_height#,bt#);  "TOP-";
  289.  
  290. pickup pinsel;
  291. draw (-c_width,1/12*c_height)--(-c_width,1/6*c_height)--(0,1/6*c_height);
  292. pickup pencircle scaled p3_size;
  293. draw (0+1,0)--(0+1,2/12*c_height);
  294. draw (1/2*c_width-1,0)--(1/2*c_width-1,2/12*c_height);
  295. showit;
  296. endchar;
  297.  
  298. beginchar(9,3/2*c_width#,1/6*c_height#,bt#);  "BOTTOM-";
  299.  
  300. pickup pinsel;
  301. draw (-c_width,1/12*c_height)--(-c_width,0)--(0,0);
  302. pickup pencircle scaled p3_size;
  303. draw (0+1,0)--(0+1,2/12*c_height);
  304. draw (1/2*c_width-1,0)--(1/2*c_width-1,2/12*c_height);
  305. showit;
  306. endchar;
  307.  
  308. beginchar(10,3/2*c_width#,1/6*c_height#,bt#);  "top-";
  309.  
  310. pickup pinsel;
  311. draw (-c_width,1/6*c_height)--(0,1/6*c_height);
  312. pickup pencircle scaled p3_size;
  313. draw (0+1,0)--(0+1,2/12*c_height);
  314. draw (1/2*c_width-1,0)--(1/2*c_width-1,2/12*c_height);
  315. showit;
  316. endchar;
  317.  
  318. beginchar(11,3/2*c_width#,1/6*c_height#,bt#);  "bottom-";
  319.  
  320. pickup pinsel;
  321. draw (-c_width,0)--(0,0);
  322. pickup pencircle scaled p3_size;
  323. draw (0+1,0)--(0+1,2/12*c_height);
  324. draw (1/2*c_width-1,0)--(1/2*c_width-1,2/12*c_height);
  325. showit;
  326. endchar;
  327.  
  328. beginchar("t",c_width#,1/6*c_height#,bt#);  
  329.  
  330. pickup pinsel;
  331. draw (-c_width,1/6*c_height)--(0,1/6*c_height);
  332. showit;
  333. endchar;
  334.  
  335. beginchar("b",c_width#,1/6*c_height#,bt#);  
  336.  
  337. pickup pinsel;
  338. draw (-c_width,0)--(0,0);
  339. showit;
  340. endchar;
  341.  
  342. %Pfeil von 1/2 nach 7/8 der Breite vergrö₧ert (JL,8.1.94)
  343. beginchar("A",c_width#,3/12*c_height#,0);  "Arrow left";
  344.  
  345. pickup pencircle scaled p_size;
  346. draw (-1/8*c_width,1/12*c_height)--(0,1/12*c_height);
  347. fill (-1/8*c_width,2/12*c_height)--(-c_width,1/12*c_height)--(-1/8*c_width,0)--cycle;
  348. showit;
  349. endchar;
  350.  
  351. beginchar("P",c_width#,3/12*c_height#,0);  "Arrow right";
  352.  
  353. pickup pencircle scaled p_size;
  354. draw (-c_width,1/12*c_height)--(-1/8*c_width,1/12*c_height);
  355. fill (-7/8*c_width,2/12*c_height)--(0,1/12*c_height)--(-7/8*c_width,0)--cycle;
  356. showit;
  357. endchar;
  358.  
  359. beginchar("a",c_width#,3/12*c_height#,0);  "Arrow line";
  360.  
  361. pickup pencircle scaled p_size;
  362. draw (-c_width,1/12*c_height)--(0,1/12*c_height);
  363. showit;
  364. endchar;
  365.  
  366.  
  367. %dasselbe wie "U"
  368. beginchar("X",c_width#,c_height#,bt#); "Unknown";
  369. pickup pinsel;
  370. draw (-c_width,0)--(0,0);
  371. draw (-c_width,c_height)--(0,c_height);
  372.  
  373. pickup pencircle scaled p3_size;
  374. draw (-c_width,5/6*c_height)--(-c_width/2,c_height);
  375. draw (-c_width,c_height/2)--(0,5/6*c_height);
  376. draw (-c_width,1/6*c_height)--(0,c_height/2);
  377. draw (-c_width/2,0)--(0,1/6*c_height);
  378. showit;
  379. endchar;
  380.  
  381. %Leerzeichen mit Punkten, damit nachträglich gezeichnet werden kann
  382. %(JL,8.1.94)
  383.  
  384. beginchar(".",c_width#,c_height#,bt#);  "Leer";
  385. pickup pinsel;
  386. fill (-c_width,0)--(-c_width+p2_size,0)--
  387.      (-c_width+p2_size,p2_size)--(-c_width,p2_size)--cycle;
  388. fill (-c_width,c_height)--(-c_width+p2_size,c_height)--
  389.      (-c_width+p2_size,c_height-p2_size)--(-c_width,c_height-p2_size)--cycle;
  390. showit;
  391. endchar;
  392.  
  393. beginchar("h",c_width#,c_height#,bt#);  "High Level";
  394. pickup pinsel;
  395. draw (-c_width,c_height)--(0,c_height);
  396. fill (-c_width,0)--(-c_width+p2_size,0)--
  397.      (-c_width+p2_size,p2_size)--(-c_width,p2_size)--cycle;
  398. showit;
  399. endchar;
  400.  
  401.  
  402. beginchar("l",c_width#,c_height#,bt#);  "Low Level";
  403. pickup pinsel;
  404. draw (-c_width,0)--(0,0);
  405. fill (-c_width,c_height)--(-c_width+p2_size,c_height)--
  406.      (-c_width+p2_size,c_height-p2_size)--(-c_width,c_height-p2_size)--cycle;
  407. showit;
  408. endchar;
  409.  
  410. beginchar(20,2*c_width#,c_height#,bt#);  "High-Low";
  411. pickup pinsel;
  412. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(xs#/12*c_width,0)--(c_width,0);
  413. fill (-c_width,0)--(-c_width+p2_size,0)--
  414.      (-c_width+p2_size,p2_size)--(-c_width,p2_size)--cycle;
  415. fill (0,c_height)--(p2_size,c_height)--
  416.      (p2_size,c_height-p2_size)--(0,c_height-p2_size)--cycle;
  417. showit;
  418. endchar;
  419.  
  420. beginchar(21,2*c_width#,c_height#,bt#);  "Low-High";
  421. pickup pinsel;
  422. draw (-c_width,0)--(-xs#/12*c_width,0)--(xs#/12*c_width,c_height)--(c_width,c_height);
  423. fill (0,0)--(p2_size,0)--
  424.      (p2_size,p2_size)--(0,p2_size)--cycle;
  425. fill (-c_width,c_height)--(-c_width+p2_size,c_height)--
  426.      (-c_width+p2_size,c_height-p2_size)--(-c_width,c_height-p2_size)--cycle;
  427. showit;
  428. endchar;
  429.  
  430. beginchar("f",c_width#,c_height#,bt#);  "Floating Line";
  431. pickup pinsel;
  432. draw (-c_width,0)--(0,0);
  433. draw (-c_width,c_height)--(0,c_height);
  434. showit;
  435. endchar;
  436.  
  437. beginchar(33,2*c_width#,c_height#,bt#);  "Float-Low";
  438. pickup pinsel;
  439. draw (-c_width,c_height)--(-xs#/12*c_width,c_height)--(xs#/12*c_width,0);
  440. draw (-c_width,0)--(c_width,0);
  441. fill (0,c_height)--(p2_size,c_height)--
  442.      (p2_size,c_height-p2_size)--(0,c_height-p2_size)--cycle;
  443. showit;
  444. endchar;
  445.  
  446. beginchar(34,2*c_width#,c_height#,bt#);  "Float-High";
  447. pickup pinsel;
  448. draw (-c_width,0)--(-xs#/12*c_width,0)--(xs#/12*c_width,c_height);
  449. draw (-c_width,c_height)--(c_width,c_height);
  450. fill (0,0)--(p2_size,0)--
  451.      (p2_size,p2_size)--(0,p2_size)--cycle;
  452. showit;
  453. endchar;
  454.  
  455. beginchar(35,2*c_width#,c_height#,bt#);  "High-Float";
  456. pickup pinsel;
  457. draw (-c_width,c_height)--(c_width,c_height);
  458. draw (-xs#/12*c_width,c_height)--(xs#/12*c_width,0)--(c_width,0);
  459. fill (-c_width,0)--(-c_width+p2_size,0)--
  460.      (-c_width+p2_size,p2_size)--(-c_width,p2_size)--cycle;
  461. showit;
  462. endchar;
  463.  
  464. beginchar(36,2*c_width#,c_height#,bt#);  "Low-Float";
  465. pickup pinsel;
  466. draw (-c_width,0)--(c_width,0);
  467. draw (-xs#/12*c_width,0)--(xs#/12*c_width,c_height)--(c_width,c_height);
  468. fill (-c_width,c_height)--(-c_width+p2_size,c_height)--
  469.      (-c_width+p2_size,c_height-p2_size)--(-c_width,c_height-p2_size)--cycle;
  470. showit;
  471. endchar;
  472.  
  473.  
  474. % HX,LX,XH,XL und dasselbe mit U statt X sind eigtl. Pfusch
  475. % vielleicht mal Zeichen für machen... (JL)
  476. ligtable "H":"L"=:0, "F"=:15, "V"=:15, "X"=:15;
  477. ligtable "L":"H"=:1, "F"=:16, "V"=:16, "X"=:16;
  478. ligtable "F":"L"=:13,"H"=:14;
  479. ligtable "h":"l"=:20,"f"=:35; % Version mit Punkten zum Zeichnen (JL, 4.2.94)
  480. ligtable "l":"h"=:21,"f"=:36;
  481. ligtable "f":"l"=:33,"h"=:34;
  482. ligtable "Z":"V"=:2, "U"=:4;
  483. ligtable "V":"Z"=:3, "U"=:6, "X"=:12, "L"=:13, "H"=:14;
  484. ligtable "U":"Z"=:5, "V"=:7, "X"=:7, "L"=:13, "H"=:14;  % UX=:7 [UV] (JL, 8.1.94)
  485. ligtable "X":"V"=:12,"U"=:6, "L"=:13, "H"=:14;          % XU=:6 [VU] (JL, 8.1.94)
  486. ligtable "T":"-"=:8;
  487. ligtable "B":"-"=:9;
  488. ligtable "t":"-"=:10;
  489. ligtable "b":"-"=:11;
  490.  
  491. end;
  492.  
  493.